Axiomatic Sharing-via-Labelling
نویسنده
چکیده
A judicious use of labelled terms makes it possible to bring together the simplicity of term rewriting and the sharing power of graph rewriting: this has been known for twenty years in the particular case of orthogonal first-order systems. The present paper introduces a concise and easily usable axiomatic presentation of sharing-via-labelling techniques that applies to higher-order term rewriting as well as to non-orthogonal term rewriting. This provides a general framework for the sharing of subterms and keeps the formalism as simple as term rewriting. 1998 ACM Subject Classification I.1.3 Languages and Systems: Evaluation strategies
منابع مشابه
Alternative Axiomatic Characterizations of the Grey Shapley Value
The Shapley value, one of the most common solution concepts of cooperative game theory is defined and axiomatically characterized in different game-theoretic models. Certainly, the Shapley value can be used in interesting sharing cost/reward problems in the Operations Research area such as connection, routing, scheduling, production and inventory situations. In this paper, we focus on the Shapl...
متن کاملAxiomatic Cost and Surplus-Sharing
The equitable division of a joint cost (or a jointly produced output) among agents with different shares or types of output (or input) commodities, is a central theme of the theory of cooperative games with transferable utility. Ever since Shapley’s seminal contribution in 1953, this question has generated some of the deepest axiomatic results of modern microeconomic theory. More recently, the ...
متن کاملWP ECON 13.04 The axiomatic approach to the problem of sharing the revenue from bundled pricing
We explore in this paper the axiomatic approach to the problem of sharing the revenue from bundled pricing. We formalize two models for this problem on the grounds of two different informational bases. In both models, we provide axiomatic rationale for natural rules to solve the problem. We, nonetheless, obtain drastic differences under each scenario, which highlights the importance of setting ...
متن کاملThe axiomatic approach to the problem of sharing the revenue from bundled pricing
We explore in this paper the axiomatic approach to the problem of sharing the revenue from bundled pricing. We formalize two models for this problem on the grounds of two different informational bases. In both models, we provide axiomatic rationale for natural rules to solve the problem. We, nonetheless, obtain drastic differences under each scenario, which highlights the importance of setting ...
متن کاملDecreasing serial cost sharing: an axiomatic characterization
The increasing serial cost sharing rule of Moulin and Shenker (Econometrica 60:1009–1037, 1992) and the decreasing serial rule of de Frutos (J Econ Theory 79:245–275, 1998) are known by their intuitive appeal and striking incentive properties. An axiomatic characterization of the increasing serial rule was provided by Moulin and Shenker (J Econ Theory 64:178–201, 1994). This paper gives an axio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012